[MINI-OS] Clean up event channel types in mini-os.
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:02:49 +0000 (14:02 +0100)
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:02:49 +0000 (14:02 +0100)
commita0f55d516b1eec2c53530338e6fab512586eea5f
tree9cfcfa5ad85d3d6e59a5398468b5a626d3e86810
parentd4b239ecc1455bd212c410bdb2bacaa2d3a6b702
[MINI-OS] Clean up event channel types in mini-os.

Signed-off-by: John D. Ramsdell <ramsdell@mitre.org>
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
extras/mini-os/console/xencons_ring.c
extras/mini-os/events.c
extras/mini-os/include/events.h
extras/mini-os/time.c
extras/mini-os/xenbus/xenbus.c